A set of permutations of
A
that forms a group under function composition.